Putting in All the Stops: Execution Control for JavaScript
نویسندگان
چکیده
PLASMA, University of Massachusetts Amherst R A 09/2016 Present • Developed F, a dynamic tier splitting tool for JavaScript that allows users to write a single program for a web application, instead of two in the traditional tiered application. Implemented dynamic code splitting techniques that preserve security guarantees for private data through Information Flow Control.
منابع مشابه
Secure multi-execution of web scripts: Theory and practice
Secure Multi-Execution (SME) is a precise and general information flow control mechanism that was claimed to be a good fit for implementing information flow security in browsers. We validate this claim by developing FlowFox, the first fully functional web browser that implements an information flow control mechanism for web scripts based on the technique of secure multi-execution. We provide ev...
متن کاملFuzzy gain scheduling of PID controller for stiction compensation in pneumatic control valve
Inherent nonlinearities like, deadband, stiction and hysteresis in control valves degenerate plant performance. Valve stiction standouts as a more widely recognized reason for poor execution in control loops. Measurement of valve stiction is essential to maintain scheduling. For industrial scenarios, loss of execution due to nonlinearity in control valves is an imperative issue that should be t...
متن کاملPutting in All the Stops
Scores of compilers produce JavaScript, enabling programmers to use many languages on the Web, reuse existing code, and even use Web IDEs. Unfortunately, most compilers expose the browser’s compromised execution model, so longrunning programs freeze the browser tab, infinite loops crash IDEs, and so on. The few compilers that avoid these problems suffer poor performance and are difficult to eng...
متن کاملZAC: Access Control in JavaScript
ZAC is a practical lightweight library for access control in JavaScript based on aspect orientation. The ZAC access control architecture is stack-based, very similar to the ones of Java and C#. However, ZAC integrates other interesting features for more expressive access control. First, access control policies can be enforced at the level of objects, which permits more fine-grained control over...
متن کاملAutomatic Unit Test Generation and Execution for JavaScript Program through Symbolic Execution
JavaScript is expected to be a programming language of even wider use, considering demands for more interactive web/mobile applications. While reliability of JavaScript code will be of more importance, testing techniques for the language remain insufficient compared to other languages. We propose a technique to automatically generate high-coverage unit tests for JavaScript code. The technique m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1802.02974 شماره
صفحات -
تاریخ انتشار 2017